COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00003 ENDMK
C⊗;
.require "let.pub" source
∂AIL Professor Drew McDermott↓Department of Computer Science
↓Yale University↓New Haven, Connecticut∞

Dear Drew:

	Enclosed is a copy of my %2AI Journal%1 paper on circumscription.
You will note that the formalism is considerably changed from the
earlier version in that I now minimize the extensions of predicates
rather than the set of elements in the domain.  The older form comes
out as a special case.  This makes circumscription close to your work
and Ray Reiter's, but as the additional note shows, there remain
important differences.

.reg